infinitary logic

无穷逻辑